(r,n,u,z. u r n)  r:Rng|r|(True)|r| 

latex

Up	rings 1
Definitions of Statement	Rng
Definitions	t  T, , x:A. B(x), T, Rng
Lemmas	rng wf, nat wf, rng car wf, true wf, squash wf, rng nexp wf